Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
791	CS109B Notes for LectureWhy Tautologies Again? Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:59:23 Propositional calculus Model theory Logical truth Semantics Predicate logic Tautology First-order logic Substitution Function Logic Mathematical logic Mathematics
792	Airplane boarding, polynuclear growth, disk I/O scheduling and space-time geometry 1 4 Eitan Bachmat1 , Daniel berend1,2 , Luba Sapir3 and Steven Skiena4 Add to Reading List Source URL: www.cs.bgu.ac.il Language: English - Date: 2004-12-19 09:37:25 Scheduling algorithms Causal sets Order theory Quantum gravity Scheduling Boarding I/O scheduling Causal structure Physics Theoretical physics Operations research
793	A First-Order Theory of Communication and Multi-Agent Plans: Appendix A Leora Morgenstern IBM Watson Labs Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-03-14 13:47:24 Models of computation Agent-based model Complex systems theory Scientific modeling Communication Entailment Logic Multi-agent systems Science
794	Supporting Non-membership Proofs with Bilinear-map Accumulators Ivan Damg˚ard ∗ University of Aarhus Denmark Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2008-12-22 03:42:39 Set theory Boolean algebra Complete Boolean algebra Forcing Order theory Tree Mathematical logic Large cardinals Mathematics
795	Issue 1-1 MarchFINAL].indd Add to Reading List Source URL: reviewsinculture.com Language: English - Date: 2012-01-08 03:58:22 Conspiracy theory 9/11 conspiracy theories 9/11 Truth movement Chip Berlet Conspiracy fiction New World Order Fringe theory Conspiracy Political history
796	Guide to Examinable Material COMS31900 – Advanced AlgorithmsDecember 2013 Overview This guide is organised topic by topic in the same order that the course was taught. References into the lectures are giv Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-03-11 09:18:17 Applied mathematics Hashing Suffix tree Hash function Hash table Vertex cover Bloom filter Universal hashing Time complexity Theoretical computer science Search algorithms Computational complexity theory
797	A General Proof of the Multidimensional Binary Indexing Algorithm for Neighbourhood Calculations in Spatial Partition Trees José Poveda, Michael Gould Departamento de Lenguajes y Sistemas Informáticos Universitat Jaume Add to Reading List Source URL: itcnt05.itc.nl Language: English - Date: 2005-02-27 17:00:00 Quadtree Octree Tree traversal Binary trees Z-order curve R-tree K-d tree Computing Graph theory Data management
798	From the book Networks, Crowds, and Markets: Reasoning about a Highly Connected World. By David Easley and Jon Kleinberg. Cambridge University Press, 2010. Complete preprint on-line at http://www.cs.cornell.edu/home/klei Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2010-06-10 15:11:56 Business Financial markets Auction theory Auctioneering Finance Order Futures contract Bid–offer spread Market Financial economics Economics Stock market
799	V Building Foundations for a Comfortable Living Environment 1 Measures to Establish Comfortable Community for Persons with Disabilities In order to develop life environments where “universal design” that is comfortab Add to Reading List Source URL: www8.cao.go.jp Language: English - Date: 2010-12-11 20:17:12 Accessibility Architectural design Architectural theory Universal design Disability Telecommuting Convention on the Rights of Persons with Disabilities Visual arts Architecture Design
800	A Theory of Changes for Higher-Order Languages Incrementalizing λ-Calculi by Static Differentiation sum 0 the derivative of sum. It is a function in the same language of sum, accepting and producing changes, which are s Add to Reading List Source URL: www.informatik.uni-marburg.de Language: English - Date: 2014-02-11 05:05:30 Differential calculus Symbol Denotational semantics Laplace transform Orbifold Chain rule Mathematical analysis Mathematics Derivative

UPDATE